System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
411	Evaluating Distributed Functional Languages for Telecommunications Software J.H. Nystrom ¨ P.W. Trinder∗ Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2003-09-23 05:23:34 Erlang programming language Ericsson Erlang Open Telecom Platform Common Object Request Broker Architecture Scalability Concurrent computing Distributed computing Fault-tolerant system Computing Software engineering Computer programming
412	Solution-IVTM Accounting System Utilities VersionVreeland Drive, Suite 1 • Skillman, NJ Add to Reading List Source URL: publish.tbred.com Language: English - Date: 2014-12-17 14:37:17 Utility software Proprietary software 4GL Fourth-generation programming language Accounting software
413	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.4) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
414	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
415	Specification of Zinc and MiniZinc Nicholas Nethercote Mark Wallace Kim Marriott Reza Rafeh Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Computing Programming language theory ZM C Type system Enumerated type Variable E Data types Type theory Software engineering
416	Running a 24x7 system at Kreditor Architecture and Experiences 1 Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Erlang programming language Structured storage Electronic commerce Mnesia Apache Software Foundation Invoice XML-RPC Credit card K Computing Software Computer programming
417	A Query Language for Understanding Component Interactions in Production Systems Adam J. Oliner and Alex Aiken Stanford University∗ Department of Computer Science {oliner, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-04-09 04:48:23 Parallel computing Navigation Component-based software engineering Object-oriented programming Software architecture Blue Gene Central processing unit Connected component Global Positioning System Technology Computing Military science
418	Programming as collaborative reference (full presentation) Oleg Kiselyov and Chung-chieh Shan We argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with comp Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-02 23:14:00 Computer programming Data types Programming paradigms Notation Programming language Type system Type inference Type safety Logic programming Software engineering Type theory Computing
419	UML4COP: UML-based DSML for Context-Aware Systems Naoyasu Ubayashi Yasutaka Kamei Kyushu University Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-11 07:24:30 Computing ISO standards Aspect-oriented programming Diagrams Knowledge representation Unified Modeling Language Comparison of C Sharp and Java THE multiprogramming system ECO Software development Aspect-oriented software development Software
420	Universal Powerline Bus The UPB System Description Version Add to Reading List Source URL: www.simply-automated.com Language: English - Date: 2010-07-03 21:25:21 Programming language theory Transmission Control Protocol Software engineering Network packet ALGOL 68 Home automation Universal powerline bus Computing

UPDATE